Constructing a group-interval in o-minimal structures
نویسندگان
چکیده
منابع مشابه
Definable group extensions in semi-bounded o-minimal structures
In this note we show: Let R = 〈R, <, +, 0, . . . 〉 be a semi-bounded (respectively, linear) o-minimal expansion of an ordered group, and G a group definable in R of linear dimension m ([Ed1]). Then G is a definable extension of a bounded (respectively, definably compact) definable group B by 〈Rm, +〉.
متن کاملFusing o-minimal structures
In this note I construct a proper o-minimal expansion of the ordered additive group of rationals.
متن کاملLocally o-minimal structures
In this paper we study (strongly) locally o-minimal structures. We first give a characterization of the strong local o-minimality. We also investigate locally o-minimal expansions of (R,+, <).
متن کاملWeakly o-minimal nonvaluational structures
A weakly o-minimal structure M = (M,≤,+, . . .) expanding an ordered group (M,≤, +) is called non-valuational iff for every cut 〈C,D〉 of (M,≤) definable in M, we have that inf{y − x : x ∈ C, y ∈ D} = 0. The study of non-valuational weakly o-minimal expansions of real closed fields carried out in [MMS] suggests that this class is very close to the class of o-minimal expansions of real closed fie...
متن کاملTopologizing interpretable sets in O-minimal Structures
Let M be a structure in some language. Assume M has elimination of imaginaries. Let X be a definable set. Definable will mean “definable with parameters.” By a definable topology, we mean a definable family of subsets {By ⊂ X}y∈Y which form the basis for some topology on X. The fact that these form a basis for a topology amounts to the claim that if y1, y2 have By1 ∩By2 6= ∅, then for every x ∈...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Pure and Applied Algebra
سال: 1994
ISSN: 0022-4049
DOI: 10.1016/0022-4049(94)90007-8